Fix a VMX FPU bug introduced in changeset 8834.

From: Edwin Zhai

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/include/asm-x86/hvm/vmx/vmx.h b/xen/include/asm-x86/hvm/vmx/vmx.h
index d0583a8290a57b53dc3ba11d1e9de6dc15c1634c..9b926e556331329af47663c14519e8a1e426d8ec 100644 (file)
--- a/xen/include/asm-x86/hvm/vmx/vmx.h
+++ b/xen/include/asm-x86/hvm/vmx/vmx.h
@@ -395,6 +395,7 @@ static inline void vmx_stts(void)
     __vmread_vcpu(v, CR0_READ_SHADOW, &cr0);
     if ( !(cr0 & X86_CR0_TS) )
     {
+        __vmread_vcpu(v, GUEST_CR0, &cr0);
         __vmwrite(GUEST_CR0, cr0 | X86_CR0_TS);
         __vm_set_bit(EXCEPTION_BITMAP, EXCEPTION_BITMAP_NM);
     }